Program Synthesis
例示プログラミング
の基盤技術の一つ
入出力のペア群から、その間の変換を行えるプログラムを生成する
Sumit Gulwani
が始祖
https://www.microsoft.com/en-us/research/project/program-synthesis/
射影変換って幾何学用語な気がしますが、ここで言ってるのは違いますよね?
増井俊之.icon
間違いました!!
加藤淳.icon